\begin{tabbing}
R{-}possible\=\{i:l\}\+
\\[0ex]($R$; ${\it es}$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=R{-}Feasible\=\{i:l\}\+\+
\\[0ex]($R$)
\-\\[0ex]c$\wedge$ ($\exists$\=$w$:world\{i:l\}\+
\\[0ex]$\exists$\=$p$:fair{-}fifo\=\{i:l\}\+\+
\\[0ex]($w$)
\-\\[0ex](possible{-}world\{i:l\}([[$R$]]; $w$) \& ${\it es}$ = w{-}es\{i:l\}($w$; $p$) $\in$ ES\{i\}))
\-\-\-
\end{tabbing}